- supercombinator
- вчтсуперкомбинатор, функция от функций без свободных переменных
English-Russian electronics dictionary .
supercombinator
Смотреть что такое "supercombinator" в других словарях:
Supercombinator — A supercombinator is a mathematical expression which is fully bound and self contained. It may either be a constant or a combinator where all the subexpressions are supercombinators.In mathematical terms, a lambda expression S is a… … Wikipedia
CAF — may refer to: * Cactus Air Force, American aviation force during the early stages of the Battle of Guadalcanal * Caisse d allocations familiales, French governmental agencies for family supporting subsidies * Cambridge Application Form, a… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Lambda lifting — or closure conversion is the process of eliminating free variables from local function definitions from a computer program. The elimination of free variables allows the compiler to hoist local definitions out of their surrounding contexts into a… … Wikipedia
